USING TYPE-EXTENSION TO ORGANIZE VIRTUAL-MEMORY MECHANISMSJANSON PA.1981; OPER. SYST. REV.; ISSN 0163-5980; USA; DA. 1981; VOL. 15; NO 4; PP. 6-38; BIBL. 22 REF.Article

IMPLEMENTING A COMPILER-BASED TEST TOOLMCMULLIN PR; GANNON JD; WEISER MD et al.1982; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1982; VOL. 12; NO 10; PP. 971-979; BIBL. 6 REF.Article

DESCRIBING SOFTWARE DESIGN IN ADABOOCH G.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 9; PP. 42-47; BIBL. 6 REF.Article

AN EXPERIENCE IN IMPLEMENTING ABSTRACT DATA TYPESBANATRE M; COUVERT A; HERMAN D et al.1981; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1981; VOL. 11; NO 3; PP. 315-320; BIBL. 11 REF.Article

TUNING ALGEBRAIC SPECIFICATIONS BY TYPE MERGINGLAUT A; PARTSCH H.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 283-304Conference Paper

ABSTRAKTE DATENTYPEN: DIE ALGEBRAISCHE SPEZIFIKATION VON RECHENSTRUKTUREN = TYPE DE DONNEES ABSTRAITES: LA SPECIFICATION ALGEBRIQUE DE STRUCTURES DE CALCULPEPPER P; BROY M; BAUER FL et al.1982; INFORM.-SPEKTRUM; ISSN 0170-6012; DEU; DA. 1982; VOL. 5; NO 2; PP. 107-119; ABS. ENG; BIBL. 60 REF.Article

COMPLEXITY OF ALGEBRAIC IMPLEMENTATIONS TO ABSTRACT DATA TYPESEHRIG H; MAHR B.1981; J. COMPUT. SYST. SCI.; ISSN 0022-0000; USA; DA. 1981; VOL. 23; NO 2; PP. 223-253; BIBL. 25 REF.Conference Paper

INITIAL AND TERMINAL ALGEBRA SEMANTICS OF PARAMETERIZED ABSTRACT DATA TYPE SPECIFICATIONS WITH INEQUALITIESHORNUNG G; RAULEFS P.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 112; PP. 224-237; BIBL. 15 REF.Conference Paper

MODULAR PROGRAMMING WITH PASCALSTEENSGAARD MADSEN J.1981; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1981; VOL. 11; NO 12; PP. 1331-1337; BIBL. 2 REF.Article

ABSTRAKTE DATENTYPEN = TYPES DE DONNEES ABSTRAITSZOLLER P.1981; ANGEW. INFORM.; ISSN 0013-5704; DEU; DA. 1981; NO 10; PP. 429-431; ABS. ENG; BIBL. 6 REF.Article

CONCURRENT PASCAL - EINE KRITIK = PASCAL CONCURRENT - UN APERCU CRITIQUEPIEPER F.1981; ELEKTRON. RECHENANL.; ISSN 0013-5720; DEU; DA. 1981; VOL. 23; NO 3; PP. 115-121; ABS. ENG; BIBL. 5 REF.Article

WHAT IS COMPUTABLE FOR ABSTRACT DATA TYPES.KAPHENGST H.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 117; PP. 173-181; BIBL. 3 REF.Conference Paper

A SEMANTIC ALGEBRA FOR BINDING CONSTRUCTSMOSSES P.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 107; PP. 408-418; BIBL. 4 REF.Conference Paper

ABSTRACT DATA TYPES AND REWRITING SYSTEMS: APPLICATION TO THE PROGRAMMING OF ALGEBRAIC ABSTRACT DATA TYPES IN PROLOGBERGMAN M; DERANSART P.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 112; PP. 101-116; BIBL. 13 REF.Conference Paper

HIGHER ORDER DATA TYPESMAIBAUM TSE; LUCENA CJ.1980; INTERNATION. J. COMPUTER INFORM. SCI.; USA; DA. 1980; VOL. 9; NO 1; PP. 31-53; BIBL. 20 REF.Article

SPECIFICATION OF COMPILERS AS ABSTRACT DATA TYPE REPRESENTATIONSGAUDEL MC.1980; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1980; NO 94; PP. 140-164; BIBL. 20 REF.Conference Paper

TOWARDS A THEORY OF ABSTRACT DATA TYPES: A DISCUSSION ON PROBLEMS AND TOOLSBERTONI A; MAURI G; MIGLIOLI P et al.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 83; PP. 44-58; BIBL. 16 REF.Conference Paper

ABSTRACT OBJECTS AS ABSTRACT DATA TYPESGERSTMANN H; OLLONGREN A.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 86; PP. 439-450; BIBL. 9 REF.Conference Paper

LOGICAL AND PHYSICAL DATA TYPES IN GEOGRAPHICAL INFORMATION SYSTEMSBURTON W.1979; GEO. PROCESSING; NLD; DA. 1979; VOL. 1; NO 2; PP. 167-181; BIBL. 2 P.Article

ON THE DESIGN OF ALGEBRAIC DATA STRUCTURES WITH THE APPROACH OF ABSTRACT DATA TYPESAUSIELLO G; MASCARI GF.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 72; PP. 514-530; BIBL. 2 P.Conference Paper

SPECIFICATION AND VERIFICATION OF COMMUNICATION PROTOCOLS IN AFFIRM USING STATE TRANSITION MODELSSUNSHINE CA; THOMPSON DH; ERICKSON RW et al.1982; IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; ISSN 0098-5589; USA; DA. 1982; VOL. 8; NO 5; PP. 460-489; BIBL. 54 REF.Article

IMPLEMENTATION OF LANGUAGE ENHANCEMENTSZELKOWITZ MV; LYLE JR.1981; COMPUT. LANG.; ISSN 0096-0551; USA; DA. 1981; VOL. 6; NO 3-4; PP. 139-153; BIBL. 16 REF.Article

NONDETERMINISM IN ABSTRACT DATA TYPESSUBRAHMANYAM PA.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 148-164; BIBL. 12 REF.Conference Paper

ON THE ALGEBRAIC EXTENSIONS OF ABSTRACT DATA TYPESBROY M; WIRSING M.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 107; PP. 244-251; BIBL. 21 REF.Conference Paper

PROGRAM DEVELOPMENT BY STEPWISE REFINEMENT AND RELATED TOPICSGEHANI N.1981; BELL SYST. TECH. J.; ISSN 0005-8580; USA; DA. 1981; VOL. 60; NO 3; PP. 347-378; BIBL. 26 REF.Article